Semantics of Stereotypes for Type Specification in UML: Theory and Practice
نویسندگان
چکیده
In the context of object-oriented formalism, stereotypes are presented as a new means for user-defined extensions of the Unified Modeling Language (UML). Unfortunately, the stereotypes syntax and semantics vary depending on the proposed extensions and it is not easy to propose a complete formalization of this mechanism. This is the reason why this paper tries to identify and formalize a pertinent set of stereotypes called stereotypes for type specification. This category of stereotypes was intuitively or implicitly presented in several works and has been experimented in different modeling methods, especially in the field of Geographic Information System (GIS). This paper proposes a complete study of this class of stereotypes and discusses the interest of their applications. Numerous examples will be presented in the field of GIS.
منابع مشابه
Extensions to UML Using Stereotypes
The Unified Modeling Language (UML) allows to visualize, to specify, to build and to document the devices of a system that involves a great quantity of software. It provides a standard form for writing the models of a system, covering so much of the conceptual aspects (such as processes of the business and functions of the system) as the concrete ones (such as the classes written in a specific ...
متن کاملSpecification of Real-Time Systems in UML
We introduce time semantics into UML class and statechart diagrams. This extends the expressiveness of UML for specification of real-time systems and allows to specify verification properties of real-time systems by means of Timed Computation Tree Logic. We furthermore propose a way to collect stereotypes for specification of real-time systems. The approach is illustrated by a case study.
متن کاملCategory Theoretic Approaches of Representing Precise UML Semantics
There have been a number of formal approaches for specifying UML semantics [2–4, 8– 11]. Unlike these approaches, the purpose of this position paper is to present a case for the community defining precise UML semantics to consider category theoretic approaches for representing UML semantics based on the authors actual experiences. Category theory has been gaining popularity for formal approache...
متن کاملAn Approach of UML for an Elevator System by Implementing Stereotypes
this paper studies the extension mechanisms of the UML in the object oriented application and it introduces a new approach of using Stereotypes and shows its usefulness by implementing in an elevator control system. This paper also discusses the process of specifying, translating and verifying UML specifications for an elevator system. Different kinds of existing UML Meta-models used in an elev...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کامل